Syntax and consistent equation semantics of hybrid Chi

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its ‘consistent equation semantics’ enforces state changes to be consistent with delay predicates, that combine the invariant and flow clauses of hybrid automata. Ease of modeling is ensured by means of the following concepts: (1) different classes of variables: discrete and continuous, of subclass jumping or non-jumping, and algebraic; (2) strong time determinism of alternative composition in combination with delayable guards; (3) integration of urgent and non-urgent actions; (4) differential algebraic equations as a process term as in mathematics; (5) steady-state initialization; and 6) several user-friendly syntactic extensions. Furthermore, the χ formalism incorporates several concepts for complex system specification: (1) process terms for scoping that integrate abstraction, local variables, local channels and local recursion definitions; (2) process definition and instantiation that enable process re-use, encapsulation, hierarchical and/or modular composition of processes; and (3) different interaction mechanisms: handshake synchronization and synchronous communication that allow interaction between processes without sharing variables, and shared variables that enable modular composition of continuous-time or hybrid processes. The syntax and semantics are illustrated using several examples.     

Nutrient removal performance of an anaerobic–anoxic–aerobic process as a function of influent C/P ratio

The laboratory scale anaerobic–anoxic–aerobic (A²O) process fed with synthetic brewage wastewater was designed to investigate the effects of changing feed C/P ratio on the performance of biological nutrient removal (BNR) processes. In the experiment, the influent chemical oxygen demand (COD) concentration was kept at approximately 300 mg L^?1 while the total phosphorus concentration was varied to obtain the desired C/P ratio. Results showed that when the C/P ratio was lower than 32, phosphorus removal efficiency increased as C/P ratio increased linearly, while when the C/P ratio was higher than 32, the P removal efficiency was maintained at 90–98%, and effluent P concentration was lower than 0.5 mg L^?1. However, regardless of the C/P ratio, excellent COD removal (90% or higher) and good total nitrogen removal (75–84%) were maintained throughout the experiments. It was also found that very good linear correlation was obtained between COD uptake per unit P released in the anaerobic zone and C/P ratio. In addition, the P content in the wasted activated sludge increased with the decrease in the C/P ratio. Based on the results, it was recommended that the wastewater C/P ratio and its effects be incorporated into BNR design and operational procedures, appropriate C/P ratios were used to achieve the effluent treatment goals. Copyright © 2005 Society of Chemical Industry     

硅丙乳液及其建筑涂料的制备和性能研究

先将乙烯基有机硅单体及环状有机硅单体在碱催化下,合成有机硅预聚体,再与丙烯酸酯进行共聚制得硅丙乳液及其建筑涂料。研究了有机硅加入形式、有机硅中间体分子量、有机硅加入量等因素对硅丙乳液及其涂料性能的影响,并与相应的纯丙体系进行比较。结果表明,采用分子量较小的有机硅中间体,有机硅用量为10%左右时所制得的乳液及涂料性能优异,对丙烯酸酯的改性效果明显。     

一种基于Hough变换的声呐对目标航迹检测算法研究

为提高声呐对目标航迹的检测性能,从单部声呐时间融合的角度出发,提出了一种基于Hough变换的声呐信号检测算法。该算法把航迹上的观测点变换为参数空间的对应曲线,充分利用一段时间内的目标观测数据,在低信噪比下也能从背景噪声中提取目标的航迹特征,提高了声呐的检测概率,且对部分信息和数据的缺失不敏感。仿真试验证明了该算法的有效性。     

CSP工艺生产微钛钢中的碳氮化物析出相

在钢中添加一定量的Ti可以提高钢的力学性能。细小的TiN弥散粒子可起到一些有利作用。例如，TiN粒子可以细化钢的铸态组织；减少有害夹杂物的析出；提高奥氏体粗化温度；防止形成过大的奥氏体晶粒等。     

复射线展开法分析圆柱面对平面波散射的精度问题

讨论了用复射线展开法计算圆柱面对入射平面波散射时的计算误差特性，提出了控制其计算精度的复射线展开参数选择方法，证实了通过恰当选择展开参数可以有效地提升计算精度、实现误差控制。     

多时滞Lotka-Volterra互惠系统周期正解的存在性

用重合度理论研究具时滞非自治Lotka-Volterra互惠系统，获得了周期正解的存在性，推广了Gopalsamy及He(1997)的结果。     

锌精馏余热利用可行性探讨

本介绍了锌精馏精炼的简单原理、设备组成、余热资源及利用方案。     

三点弯曲下的钢纤维高强混凝土断裂能

通过100个尺寸为100mm×100mm×515mm的不同体积率的钢纤维高强混凝土切口梁三点弯曲试验,探讨了钢纤维体积率和裂缝相对切口深度对高强混凝土断裂能和作用力功的影响。结果表明,钢纤维改善了高强混凝土的断裂性能与延性。钢纤维高强混凝土断裂能增益比、作用力功增益比以及延性指数随着钢纤维体积率的增加而线性增加,随着切口深度的增加而降低;外力功对断裂能的大小起较大作用。在分析试验结果的基础上,建立了钢纤维高强混凝土作用力功和断裂能的计算公式。     

GIS支持下的长江江苏河段深槽冲淤演变探讨

GIS强大的空间分析和空间数据库功能,提供了其它研究手段难以解决的河道水下地形冲淤变化分析及空间分布等问题的有力工具。本文在GIS技术的支持下,利用6个测次的长江(南京以下段)航道图数据,建立研究区域河道水下地形数据库,分析了河道冲淤变化及空间分布,分析计算结果表明研究区域1995年以前净面积减少,以冲刷为主,局部地区有淤积,但冲刷量大于淤积量,在1983年至1987年间净减少面积最大值为17.94km2.a-1;1995年以后净面积增加,以淤积为主,年净增面积达到13.43km2.a-1。同时基于GIS技术对河道形态、冲淤部位等进行实时的可视化显示,进一步对河道冲淤变化进行高效、准确的定量分析,更能有利于发现河道冲淤规律,为洪灾成因和防洪减灾对策研究提供决策支持。